SEPARATING MANY LOCALISATION CARDINALS ON THE GENERALISED BAIRE SPACE
نویسندگان
چکیده
Abstract Given a cofinal cardinal function $h\in {}^{\kappa }\kappa $ for $\kappa inaccessible, we consider the dominating h -localisation number, that is, least cardinality of set -slaloms such every -real is localised by slalom in set. It was proved [3] localisation numbers can be consistently different two functions (the identity and power function). We will construct ^+$ -sized family their corresponding numbers, use ${\leq -supported product cofinality-preserving forcing to prove any simultaneous assignment these cardinals above consistent. This answers an open question from [3].
منابع مشابه
Questions on generalised Baire spaces
When studying questions about real numbers, it is common practice in set theory to investigate the closely related Baire space ω and Cantor space 2 . These spaces have been extensively studied by set theorists from various points of view, e.g., questions about cardinal characteristics of the continuum, descriptive set theory and other combinatorial questions. Furthermore, the investigation of 2...
متن کاملOn large cardinals and generalized Baire spaces
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal κ. We show the consistency of E ++,λ++ λ-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ in the space (λ++)λ ++ , being continuously reducible to E ++ λ+-club , the relation of equi...
متن کاملFormally continuous functions on Baire space
A function from Baire space N to the natural numbers N is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a fu...
متن کاملExtending Baire property by uncountably many sets
We prove that if ZFC is consistent so is ZFC + “for any sequence (An) of subsets of a Polish space 〈X, τ〉 there exists a separable metrizable topology τ ′ on X with B(X, τ) ⊆ B(X, τ ′), MGR(X, τ ′) ∩ B(X, τ) = MGR(X, τ) ∩B(X, τ) and An Borel in τ ′ for all n.” This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets...
متن کاملA hierarchy of clopen graphs on the Baire space
We say that E ⊆ X × X is a clopen graph on X iff E is symmetric and irreflexive and clopen relative to X\∆ where ∆ = {(x, x) : x ∈ X} is the diagonal. Equivalently E ⊆ [X] and for all x 6= y ∈ X there are open neighborhoods x ∈ U and y ∈ V such that either U × V ⊆ E or U × V ⊆ X\E. For clopen graphs E1, E2 on spaces X1, X2, we say that E1 continuously reduces to E2 iff there is a continuous map...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2023
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2023.21